$\forall$${\it left}$,${\it right}$:es\_realizer\{i:l\}. Rplus(${\it left}$; ${\it right}$) $\in$ es\_realizer\{i:l\}